61.72/63.04	unsat
