28.94/32.13	unsat
