5.32/6.22	unsat
