28.61/29.39	unsat
