29.49/29.55	unsat
