1085.12/1086.44	unsat
