6.19/6.26	unsat
