64.87/67.76	unsat
