282.59/288.73	unsat
