12.18/12.21	unsat
