28.82/30.71	unsat
