5.24/6.22	unsat
