6.27/7.38	unsat
