29.34/29.48	unsat
