285.69/288.44	unsat
