1.28/4.84	unsat
