1.28/4.85	unsat
