285.50/288.30	unsat
