61.38/66.13	unsat
