1082.17/1083.92	unsat
