29.04/32.24	unsat
