28.26/30.47	unsat
