5.67/5.84	unsat
