6.27/7.26	unsat
