1.25/5.85	unsat
