7.58/12.13	unsat
