62.82/63.04	unsat
