12.58/14.66	unsat
