28.47/28.57	unsat
