29.56/32.36	unsat
