5.78/5.84	unsat
