1.28/5.83	unsat
