28.23/29.72	unsat
