27.14/27.85	unsat
