5.78/6.24	unsat
