5.97/6.24	unsat
