277.61/280.27	unsat
