27.50/28.65	unsat
