285.69/288.19	unsat
