5.20/6.22	unsat
