26.28/30.95	unsat
