10.58/12.18	unsat
