10.58/12.30	unsat
