29.61/29.79	unsat
