29.33/29.44	unsat
