28.63/29.85	unsat
