29.34/32.08	unsat
