4.18/5.84	unsat
