10.58/12.36	unsat
