1082.35/1085.99	unsat
