6.27/8.22	unsat
