28.21/30.17	unsat
