6.07/6.24	unsat
