5.89/6.24	unsat
