285.08/288.93	unsat
