28.64/29.85	unsat
