29.34/29.49	unsat
