12.18/16.69	unsat
