6.14/6.26	unsat
