28.66/32.41	unsat
