1078.34/1082.23	unsat
