12.42/14.18	unsat
