6.05/6.24	unsat
