7.58/12.27	unsat
