4.29/6.22	unsat
