12.07/12.19	unsat
