6.08/12.19	unsat
