6.27/8.18	unsat
