27.03/29.85	unsat
