27.97/29.65	unsat
