7.27/16.22	unsat
