5.36/5.84	unsat
