8.18/12.26	unsat
