6.18/6.26	unsat
