29.29/29.44	unsat
