1.28/3.85	unsat
