5.22/6.24	unsat
